5.80/8.74	unsat
