6.30/6.34	unsat
