19.63/20.33	unsat
