14.41/16.78	unsat
