5.75/5.99	unsat
