45.38/47.21	unsat
