5.24/8.19	unsat
