11.78/11.87	unsat
