5.78/7.93	unsat
