340.19/340.97	unsat
