547.02/680.65	unsat
