4.40/6.47	unsat
