294.50/297.01	unsat
