10.87/13.10	unsat
