12.78/13.93	unsat
