8.58/13.32	unsat
