6.38/6.45	unsat
