4.67/5.18	unsat
