6.18/8.38	unsat
