14.39/16.21	unsat
