4.92/7.59	unsat
