13.27/15.00	unsat
