6.18/8.64	unsat
