10.85/11.86	unsat
