11.57/14.13	unsat
