12.57/13.26	unsat
