5.81/7.63	unsat
