4.18/5.99	unsat
