10.38/14.29	unsat
