10.33/11.90	unsat
