14.16/15.89	unsat
