11.57/14.21	unsat
