14.38/15.26	unsat
