13.57/14.10	unsat
