294.44/297.07	unsat
