807.64/812.05	unsat
