19.96/20.09	unsat
