19.96/20.08	unsat
