571.68/573.13	unsat
