18.96/19.63	unsat
