12.57/13.24	unsat
