569.47/573.24	unsat
