6.02/10.08	unsat
