4.20/6.78	unsat
