6.38/8.30	unsat
