13.95/15.66	unsat
