13.57/16.00	unsat
