10.07/14.00	unsat
