18.55/19.63	unsat
