10.50/13.17	unsat
