6.57/13.48	unsat
