4.99/5.94	unsat
