14.38/15.77	unsat
