5.59/7.84	unsat
