3.48/6.36	unsat
