13.66/14.15	unsat
