8.24/8.33	unsat
