10.38/10.47	unsat
