3.98/6.28	unsat
