5.79/5.99	unsat
