5.78/7.67	unsat
