4.90/6.47	unsat
