5.80/10.30	unsat
