5.78/8.64	unsat
