3.38/4.04	unsat
