13.57/14.41	unsat
