14.22/15.89	unsat
