4.18/6.89	unsat
