12.57/14.15	unsat
