11.35/13.97	unsat
