18.16/19.55	unsat
