4.88/6.47	unsat
