4.18/6.35	unsat
