3.48/7.80	unsat
