18.17/19.86	unsat
