13.66/14.18	unsat
