292.13/295.29	unsat
