8.78/11.59	unsat
