6.38/6.40	unsat
