6.38/6.42	unsat
