4.38/5.77	unsat
