8.33/11.10	unsat
