5.99/7.75	unsat
