16.66/19.15	unsat
