4.63/6.97	unsat
