13.95/15.87	unsat
