10.46/14.00	unsat
