5.78/7.94	unsat
