4.38/4.89	unsat
