5.38/5.42	unsat
