9.31/11.86	unsat
