94.44/96.86	unsat
