17.72/19.32	unsat
