3.38/5.07	unsat
