13.49/14.22	unsat
