5.19/8.05	unsat
