13.57/14.44	unsat
