13.95/17.20	unsat
