6.18/6.34	unsat
