10.87/13.80	unsat
