14.57/14.96	unsat
